Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
861	Strong Function Call Steven Lyde and Matthew Might University of Utah Abstract. This work presents an incremental improvement to abstract interpretation of higher order languages, similar to strong update, which Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-12-26 13:28:21 Theoretical computer science Abstract interpretation Applied mathematics Computer science Mathematics Models of computation Computability theory Lambda calculus
862	Select Ways to Harness the Power of JavaScript based largely on Effective JavaScript by David Herman Always Declare Local Variables function score(player) { Add to Reading List Source URL: speakerd.s3.amazonaws.com Language: English - Date: 2014-01-26 20:15:28 Subroutines Closure JavaScript Lambda calculus String interpolation JavaScript syntax Software engineering Computing Computer programming
863	GETTING STARTED WITH PURESCRIPT Michael Ficarra Add to Reading List Source URL: speakerd.s3.amazonaws.com Language: English - Date: 2015-02-04 12:33:06 Theoretical computer science Universal quantification FO Map Lambda calculus Functional predicate First-order logic Mathematical logic Logic Quantification
864	Proofs are Programs: 19th Century Logic and 21st Century Computing Philip Wadler Avaya Labs June 2000, updated November 2000 As the 19th century drew to a close, logicians formalized an ideal notion of proof. They were d Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-02-27 11:22:42 Lambda calculus Proof theory Logic in computer science Type theory Dependently typed programming Combinatory logic Natural deduction Curry–Howard correspondence Calculus of constructions Mathematical logic Mathematics Theoretical computer science
865	Flask: Staged Functional Programming for Sensor Networks Geoffrey Mainland Greg Morrisett Matt Welsh Add to Reading List Source URL: www.eecs.harvard.edu Language: English - Date: 2008-07-28 15:41:14 Type theory Data types Functional languages Functional programming Lambda calculus Haskell NesC Combinator library Glasgow Haskell Compiler Software engineering Computing Computer programming
866	Implementing Untyped λ-Calculus Implementing Untyped λ-Calculus in Haskell slide: Jaiyalas Add to Reading List Source URL: www.godfat.org Language: English - Date: 2013-10-31 13:15:28 Lambda calculus Computer science Calculus Theoretical computer science Applied mathematics Computability theory
867	Uniqueness and Reference Immutability for Safe Parallelism (Extended Version) Colin S. Gordon† , Matthew J. Parkinson‡ , Jared Parsons , Aleks Bromfield , Joe Duffy † University of Washington, ‡ Microsoft Res Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-09-27 12:03:04 Computer programming Functional programming Immutable object Algebraic topology Test Lambda calculus Subtype polymorphism Sheaf Computing Software engineering Object-oriented programming
868	Modal logics for communicating rule-based agents Natasha Alechina and Mark Jago and Brian Logan1 Abstract. In this paper, we show how to establish correctness and time bounds (e.g., quality of service guarantees) for mul Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-08-16 14:42:18 Symbol Epistemic modal logic Modal logic Proof theory Lambda calculus Curry–Howard correspondence Logic Mathematical logic Mathematics
869	SubL from CycL, Evalutable Functions, expansion, afterAdding and afterRemoving – and a Thin Network API Introduction This document describes a number of ways of causing SubL and external code to be invoked by the Cyc i Add to Reading List Source URL: www.cyc.com Language: English - Date: 2014-01-15 11:53:59 Ontology Subroutines Web services Functional programming Lambda calculus Web Services Description Language SubL Main function Apply Computing Software Cyc
870	Logic for coalitions with bounded resources∗ Natasha Alechina Brian Logan Nguyen Hoang Nga School of Computer Science Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-04-08 05:55:26 Spectral theory Combinatory logic Lambda calculus Logic in computer science

UPDATE